$\mid$($<\mathbb{Z}$+$>\downarrow$hgrp)$\mid$ $\subseteq$ $\mathbb{N}$